Gérard Berry: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (19)
Най-популярни
Списък
- Списък
- Таблица

1

La pensée informatique

La pensée informatique

Gérard Berry [Berry, Gérard]

Година:

2019

Език:

french

Файл:

EPUB, 273 KB

5.0 / 0

french, 2019

2

L'hyperpuissance de l'informatique

L'hyperpuissance de l'informatique

Година:

2019

Език:

french

Файл:

EPUB, 17.87 MB

0 / 5.0

french, 2019

3

Histoire illustrée de l’informatique: 2e édition

Histoire illustrée de l’informatique: 2e édition

Emmanuel Lazard, Pierre Mounier-Kuhn, Gérard Berry

Година:

2019

Език:

french

Файл:

PDF, 64.07 MB

0 / 0

french, 2019

4

L' Hyperpuissance de l'informatique: Algorithmes, données, machines, réseaux (OJ.SCIENCES) (French Edition)

L' Hyperpuissance de l'informatique: Algorithmes, données, machines, réseaux (OJ.SCIENCES) (French Edition)

Година:

2017

Език:

french

Файл:

PDF, 14.83 MB

0 / 0

french, 2017

5

Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings

Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings

Springer International Publishing

Gérard Berry, Manuel Serrano (auth.), Raja Natarajan (eds.)

Година:

2014

Език:

english

Файл:

PDF, 18.19 MB

0 / 0

english, 2014

6

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Ed Brinksma (eds.)

Година:

1997

Език:

english

Файл:

DJVU, 4.18 MB

0 / 0

english, 1997

7

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Година:

1999

Език:

english

Файл:

PDF, 4.53 MB

0 / 0

english, 1999

8

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Maura Cerioli (eds.)

Година:

2005

Език:

english

Файл:

PDF, 5.26 MB

0 / 0

english, 2005

9

Compiling Esterel

Compiling Esterel

Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

Година:

2007

Език:

english

Файл:

PDF, 5.52 MB

0 / 0

english, 2007

10

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Година:

1999

Език:

english

Файл:

PDF, 4.67 MB

0 / 0

english, 1999

11

Metal-metal bonding

Metal-metal bonding

Springer-Verlag Berlin Heidelberg

J. F. Berry (auth.), Gerard Parkin (eds.)

Година:

2010

Език:

english

Файл:

PDF, 7.27 MB

0 / 0

english, 2010

12

L'informatique du temps et des événements

L'informatique du temps et des événements

Collège de France, Fayard

Berry, Gérard [Berry, Gérard]

Език:

french

Файл:

EPUB, 302 KB

0 / 0

french

13

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Година:

2001

Език:

english

Файл:

PDF, 4.16 MB

0 / 0

english, 2001

14

Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April

Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April

Gerard Berry (auth.), Carlos Delgado Kloos, Eduard Cerny (eds.)

Година:

1997

Език:

english

Файл:

PDF, 12.07 MB

0 / 0

english, 1997

15

Compiling Esterel

Compiling Esterel

Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

Година:

2007

Език:

english

Файл:

PDF, 1.08 MB

0 / 0

english, 2007

16

L'informatique du temps et des événements

L'informatique du temps et des événements

Collège de France, Fayard

Gérard Berry [Berry, Gérard]

Език:

french

Файл:

EPUB, 302 KB

0 / 0

french

17

Metal-Metal Bonding

Metal-Metal Bonding

Springer-Verlag Berlin Heidelberg

J. F. Berry (auth.), Gerard Parkin (eds.)

Година:

2010

Език:

english

Файл:

PDF, 9.60 MB

0 / 5.0

english, 2010

18

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Maura Cerioli (eds.)

Година:

2005

Език:

english

Файл:

PDF, 6.27 MB

0 / 0

english, 2005

19

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Година:

2001

Език:

english

Файл:

PDF, 6.93 MB

0 / 0

english, 2001